Communications for Next Generation single chip computers

It is the thesis of this report that much of what is presently thought to require specialized VLSI functions might instead be achieved by combinations of fast general purpose single chip computers with upgraded communication facilities. To this end, the characteristics of applications of this nature are first surveyed briefly and some working principles established. In the light of these, three different chip philosophies are explored in some detail. This study shows that some upgrading of typical single chip I/O will definitely be necessary, but that this upgrading does not have to be complex and that true multiprocessor-multibus operation could be achieved without excessive cost

Theory and Techniques for Synthesizing a Family of Graph Algorithms

Although Breadth-First Search (BFS) has several advantages over Depth-First Search (DFS) its prohibitive space requirements have meant that algorithm designers often pass it over in favor of DFS. To address this shortcoming, we introduce a theory of Efficient BFS (EBFS) along with a simple recursive program schema for carrying out the search. The theory is based on dominance relations, a long standing technique from the field of search algorithms. We show how the theory can be used to systematically derive solutions to two graph algorithms, namely the Single Source Shortest Path problem and the Minimum Spanning Tree problem. The solutions are found by making small systematic changes to the derivation, revealing the connections between the two problems which are often obscured in textbook presentations of them.Comment: In Proceedings SYNT 2012, arXiv:1207.055

Derived Preconditions and Their Use in Program Synthesis

In this paper we pose and begin to explore a deductive problem more general than that of finding a proof that a given goal formula logically follows from a given set of hypotheses. The problem is most simply stated in the propositional calculus: given a goal A and hypothesis H we wish to find a formula P, called a precondition, such that A logically follows from P A H. A precondition pro- vides any additional conditions under which A can be shown to follow from H. A slightly more complex definition of preconditions in a first-order theory is given and used throughout the paper. A formal system based on natural deduction is presented in which preconditions can be derived. A number of examples are then given which show how derived preconditions are used in a program synthesis method we are developing. These uses include theorem proving, formula simplification, simple code generation, the completion of partial specifications for a subalgorithm, and other tasks of a deductive nature.Foundation Research Program of the Naval Postgraduate SchoolChief of Naval ResearchApproved for public release; distribution is unlimited

From Illegal to Legal: Estimating Previous Illegal Experience among New Legal Immigrants to the United States

This paper develops a framework for estimating previous illegal experience among annual cohorts of new legal immigrants to the United States – using public-use administrative microdata alone, survey data alone, and the two jointly – and provides estimates for the FY 1996 cohort of new immigrants, based on both administrative and survey data. Our procedures enable assessment of type of illegal experience, including entry without inspection, visa overstay, and unauthorized employment. We compare our estimates of previous illegal experience to estimates that would be obtained using administrative data alone; examine the extent of previous illegal experience by country of birth, immigrant class of admission, religion, and geographic residence in the United States; and estimate multivariate models of the probability of having previous illegal experience. To further assess origins and destinations, we carry out two kinds of contrasts, comparing formerly illegal new legal immigrants both to fellow immigrants who do not have previous illegal experience and also to the broader unauthorized population, the latter using estimates developed by DHS (2002), Passel (2002), and Costanzo et al. (2002).administrative data, legal immigration, illegal immigration, survey data

Immigrant Health--Selectivity and Acculturation

This paper explores some salient issues concerning immigrant health. Ethnic health disparities are inherently linked to immigration since ethnic identities often are traced to the country of origin of one's immigrant ancestors. Two of the central questions that have dominated the medical and social science literature on immigrant health are the central focus of this paper. These issues involve the magnitude and mechanisms shaping health selectivity and the determinants of health trajectories following immigration. As part of this paper, we also developed a theoretical model that attempts to explain the diversity in health selection among immigrants.

Immigration, health, and New York City: early results based on the U.S. new immigrant cohort of 2003

This article was presented at a conference organized by the Federal Reserve Bank of New York in April 2005, "Urban Dynamics in New York City." The goal of the conference was threefold: to examine the historical transformations of the engine-of-growth industries in New York and distill the main determinants of the city's historical dominance as well as the challenges to its continued success; to study the nature and evolution of immigration flows into New York; and to analyze recent trends in a range of socioeconomic outcomes, both for the general population and recent immigrants more specifically.Immigrants - New York (N.Y.) ; Medical care - New York (N.Y.) ; Economic conditions - New York (N.Y.) ; Federal Reserve District, 2nd

Exploring taboo issues in professional sport through a fictional approach

While the need to consider life course issues in elite sport research and practice is increasingly recognised, some experiences still seem to be considered too dangerous to explore. Consequently, stories of these experiences are silenced and the ethical and moral questions they pose fail to be acknowledged, understood or debated. This paper presents an ethnographic fiction through which we explore a sensitive set of experiences that were uncovered during our research with professional sportspeople. Through a multi‐layered reconstruction, the story reveals the complex, but significant, relationships that exist between identity, cultural narratives and embodied experiences. After the telling we consider how the story has stimulated reflective practice among students, researchers and practitioners. While there are risks involved in writing and sharing taboo stories, the feedback we have received suggests that storytelling can be an effective pedagogical tool in education and professional development

Atlantic menhaden, Brevoortia tyrannus, Purse Seine Fishery, 1972-84, with a brief discussion of age and size composition of the Landings

This report summarizes (I) annual purse seine landings of Atlantic menhaden, Brevoortia tyrannus, for 1972-84, (2) estimated numbers of fish caught by fishing area. (3) estimates of nominal fishing effort and catch-per-unit-effort, (4) mean fish length and weight, and (5) major changes in the fishery. During the 1970s stock size and recruitment increased and the age composition broadened. reversing trends witnessed during the fishery's decline in the 1960s. Landings steadily improved and by 1980 the total coast wide landings exceeded 400,000 metric tons. Nevertheless, the character of the fishery changed considerably. Eleven reduction plants processed fish at seven ports in 1972, but in 1984 only eight plants operated at live ports. Beginning in the mid-1960s the center of fishing aclivity shifted from the Middle Atlantic area to the Chesapeake Bay area, which has continued to dominate the fishery in landings and effort through the 1970s and 1980s. During this period the average size and age of fish in the catches declined. (PDF file contains 30 pages.

Sex ratios at birth vary with environmental harshness but not maternal condition

The sex ratio at birth (SRB) may be patterned by maternal condition and/or environmental stressors. However, despite decades of research, empirical results from across the social and biological sciences are equivocal on this topic. Using longitudinal individual-level data from a US population during the interwar period (1918–1939), inclusive of three distinct eras (Spanish Flu, Roaring ‘20 s, and the Great Depression), we evaluate predictions from two theoretical frameworks used to study patterning in SRB – (1) ‘frail males’ and (2) adaptive sex-biased investment theory (Trivers-Willard). The first approach centers on greater male susceptibility to exogenous stressors and argues that offspring survival should be expected to differ between ‘good’ and ‘bad’ times. The second approach contends that mothers themselves play a direct role in manipulating offspring SRB, and that those in better condition should invest more in sons. In-line with ‘frail male’ predictions, we find that boys are less likely to be born during the environmentally challenging times of the Spanish Flu and Great Depression. However, we find no evidence that maternal condition is associated with sex ratios at birth, a result inconsistent with the Trivers-Willard hypothesis